1. FM 2011: Formal Methods
المؤلف: / Michael Butler, Wolfram Schulte
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. 24, 2011. Proceedings-FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20
المؤلف: / Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
